Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Gabriele Puppis
ISBN 13: 9783642118807
Format: Paperback (206 pages) Publisher: Springer Published: 18 Feb 2010
Save for later